A Connection between Decomposability of Ultrafilters and Possible Cofinalities

نویسنده

  • PAOLO LIPPARINI
چکیده

We introduce the decomposability spectrum KD = {λ ≥ ω|D is λ-decomposable} of an ultrafilter D, and show that Shelah’s pcf theory influences the possible values KD can take. For example, we show that if a is a set of regular cardinals, μ ∈ pcf a, the ultrafilter D is |a|-complete and KD ⊆ a, then μ ∈ KD. As a consequence, we show that if λ is singular and for some λ < λ KD contains all regular cardinals in [λ , λ) then: (a) if cf λ = ω then either λ ∈ KD, or λ ∈ KD; and (b) if D is (cf λ)-complete then λ ∈ KD, and pp(λ) = λ.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Decomposable Ultrafilters and Possible Cofinalities

We use Shelah’s theory of possible cofinalities in order to solve some problems about ultrafilters. Theorem 1. Suppose that λ is a singular cardinal, λ′ < λ, and the ultrafilter D is κ-decomposable for all regular cardinals κ with λ′ < κ < λ. Then D is either λ-decomposable, or λ-decomposable. Corollary 2. If λ is a singular cardinal, then an ultrafilter is (λ, λ)-regular if and only if it is e...

متن کامل

On the Cofinality of Ultrapowers

We prove some restrictions on the possible cofinalities of ultrapowers of the natural numbers with respect to ultrafilters on the natural numbers. The restrictions involve two cardinal characteristics of the continuum, the splitting number s and the groupwise density number g.

متن کامل

This issue is dedicated to Gary Gruenhage Contents

1. Editor’s note 1 2. Research announcements 2 2.1. Lecce Workshop presentations available online 2 2.2. Borel cardinalities below c0 2 2.3. Hereditarily non-topologizable groups 2 2.4. A hodgepodge of sets of reals 2 2.5. Random gaps 3 2.6. Covering a bounded set of functions by an increasing chain of slaloms 3 2.7. Baire-one mappings contained in a usco map 3 2.8. Applications of k-covers II ...

متن کامل

Canonical measure assignments

We work under the assumption of the Axiom of Determinacy and associate a measure to each cardinal κ < אε0 in a recursive definition of a canonical measure assignment. We give algorithmic applications of the existence of such a canonical measure assignment (computation of cofinalities, computation of the Kleinberg sequences associated to the normal ultrafilters on all projective ordinals).

متن کامل

Ultrafilters, IP sets, Dynamics, and Combinatorial Number Theory

We survey the connection between ultrafilters, ergodic theory, and combinatorics.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006